Borel boxes
نویسندگان
چکیده
منابع مشابه
Borel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...
متن کاملBorel Conjecture and Dual Borel Conjecture
We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.
متن کاملBoxes: A Symbolic Abstract Domain of Boxes
Numeric abstract domains are widely used in program analyses. The simplest numeric domains over-approximate disjunction by an imprecise join, typically yielding path-insensitive analyses. This problem is addressed by domain refinements, such as finite powersets, which provide exact disjunction. However, developing correct and efficient disjunctive refinement is challenging. First, there must be...
متن کاملBorel Generators
We use the notion of Borel generators to give alternative methods for computing standard invariants, such as associated primes, Hilbert series, and Betti numbers, of Borel ideals. Because there are generally few Borel generators relative to ordinary generators, this enables one to do manual computations much more easily. Moreover, this perspective allows us to find new connections to combinator...
متن کاملGeneralizations of Borel-Cantelli Lemma
The Borel-Cantelli Lemma is very important in the probability theory. In this paper, we first describe the general case of the Borel-Cantelli Lemma. The first part of this lemma, assuming convergence and the second part includes divergence and independence assumptions. In the following, we have brought generalizations of the first and second part of this lemma. In most generalizat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1979
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1979.81.471